Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers
arxiv.org·1d
🎯Performance Proofs
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Alignment
languagelog.ldc.upenn.edu·11h
🔄Language Evolution
Sandboxing AI - Extending AI Responsibly
dev.to·17h·
Discuss: DEV
🔒WASM Capabilities
Claude is kicking ChatGPT's butt (in one thing)
ben-mini.com·7h·
Discuss: Hacker News
✨Effect Handlers
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
Cactus Language • Stylistics 4
inquiryintoinquiry.com·16h
🌳Context free grammars
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·17h
🦀Rust Verification
A Programmer’s Guide to x86-64 Assembly (Series Overview)
blog.codingconfessions.com·2h
🔧RISC-V Assembler
How AI on Microcontrollers Works: Registering Operators
danielmangum.com·1d·
Discuss: Hacker News
🧮SMT Solvers
An Epistemic and Aleatoric Decomposition of Arbitrariness to Constrain the Set of Good Models
arxiv.org·1d
🔲Proof Irrelevance
A distributed systems reliability glossary
antithesis.com·16h·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Reflecting on PLDI 2025
people.csail.mit.edu·2d·
Discuss: Hacker News
🌐Protocol Synthesis
Hacking Coroutines into C
wiomoc.de·3d·
Discuss: Lobsters, Hacker News, r/C_Programming, r/programming
✨Effect Handlers
What are Matrix Operations?
dev.to·5h·
Discuss: DEV
📐Linear Algebra
Helix Editor Release 25.07 Highlights
helix-editor.com·12h·
Discuss: Lobsters, Hacker News, r/linux
🌳Incremental Parsing
[R] Interesting paper on cost-aware prompt optimization (CAPO)
reddit.com·1h·
Discuss: r/MachineLearning
🏗️Compiler Archaeology
A Rust Shaped Hole
mnvr.in·19h·
Discuss: Hacker News
🦀Rust Macros